Calculus in the ring of Fermat reals, Part I: Integral calculus
نویسندگان
چکیده
منابع مشابه
The rewriting calculus - Part I
The ρ-calculus integrates in a uniform and simple setting first-order rewriting, λ-calculus and nondeterministic computations. Its abstraction mechanism is based on the rewrite rule formation and its main evaluation rule is based on matching modulo a theory T . In this first part, the calculus is motivated and its syntax and evaluation rules for any theory T are presented. In the syntactic case...
متن کاملA Calculus of Mobile Processes, Part I
We present the -calculus, a calculus of communicating systems in which one can naturally express processes which have changing structure. Not only may the component agents of a system be arbitrarily linked, but a communication between neighbours may carry information which changes that linkage. The calculus is an extension of the process algebra CCS, following work by Engberg and Nielsen who ad...
متن کاملLecture Notes on Stochastic Calculus (Part I)
1 Probability “review” 3 1.1 σ-fields . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3 1.2 Random variables . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4 1.3 Probability measures . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6 1.4 Distribution of a random variable . . . . . . . ....
متن کاملSome Weighted Integral Inequalities for Generalized Conformable Fractional Calculus
In this paper, we have obtained weighted versions of Ostrowski, Čebysev and Grüss type inequalities for conformable fractional integrals which is given by Katugompola. By using the Katugampola definition for conformable calculus, the present study confirms previous findings and contributes additional evidence that provide the bounds for more general functions.
متن کاملRefinement Calculus, Part I: Sequential Nondeterministic Programs
A lattice theoretic framework for the calculus of program reenement is presented. Speciications and program statements are combined into a single (innnitary) language of commands which permits miraculous, angelic and demonic statements to be used in the description of program behavior. The weakest precondition calculus is extended to cover this larger class of statements and a game-theoretic in...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Advances in Mathematics
سال: 2016
ISSN: 0001-8708
DOI: 10.1016/j.aim.2015.11.021